TAGs: Distributive property subtraction